The Sedov Blast Wave as a Radial Piston Verification Test
نویسندگان
چکیده
منابع مشابه
Piston dispersive shock wave problem.
The piston shock problem is a classical result of shock wave theory. In this work, the analogous dispersive shock wave (DSW) problem for a fluid described by the nonlinear Schrödinger equation is analyzed. Asymptotic solutions are calculated for a piston (step potential) moving with uniform speed into a dispersive fluid at rest. In contrast to the classical case, there is a bifurcation of shock...
متن کاملconstructing a test to predict the translation performance of english translation ma graduates on legal correspondence and deeds as a profession
regarding the ever evolving and improving world on different aspects of knowledge, the need to a worldwide communication would emerge stronger than ever before which calls for special attention on the judgments and best choices for intermediating between the nations. as the language skills for translation are tested separately from translation skills themselves, to assess translation skills pro...
Software Verification with BLAST
ion of C programs. In PLDI 01: Programming Language Design and Implementation, pages 203–213. ACM, 2001. 2. S. Das, D. L. Dill, and S. Park. Experience with predicate abstraction. In CAV 99: Computer-Aided Verification, LNCS 1633, pages 160–171. Springer-Verlag, 1999. 3. D. Detlefs, G. Nelson, and J. Saxe. Simplify theorem prover. 4. T.A. Henzinger, R. Jhala, R. Majumdar, G.C. Necula, G. Sutre,...
متن کاملthe relationship between eq, iq and test format: a study on test fairness
the major aim of this study was to investigate the relationship between iq, eq and test format in the light of test fairness considerations. this study took this relationship into account to see if people with different eq and iq performed differently on different test formats. to this end, 90 advanced learners of english form college of ferdowsi university of mashhad were chosen. they were ask...
15 صفحه اولThe Blast Query Language for Software Verification
Blast is an automatic verification tool for checking temporal safety properties of C programs. Blast is based on lazy predicate abstraction driven by interpolation-based predicate discovery. In this paper, we present the Blast specification language. The language specifies program properties at two levels of precision. At the lower level, monitor automata are used to specify temporal safety pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Verification, Validation and Uncertainty Quantification
سال: 2016
ISSN: 2377-2158,2377-2166
DOI: 10.1115/1.4033652